Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
501	Research and Regions Workshop, Friday 15 June[removed]Verification: Priority Discussion Points Beth Ebert and Grahame Reader Document Goals To describe the current status of the verification development work Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2012-06-13 07:35:04 Software quality Systems engineering Verification and validation Evaluation Science Validation Technology Pharmaceutical industry Validity Formal methods
502	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
503	Tokeneer: Beyond Formal Program Verification Yannick Moy1 , Angela Wallenburg2 1: AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France), [removed] 2: Altran Praxis, 20 Manvers Street, Bath BA1 1PX (United K Add to Reading List Source URL: www.open-do.org Language: English - Date: 2010-05-02 12:49:52 Procedural programming languages Ada programming language SPARK Program analysis Cross-platform software Ada Static program analysis C Software verification Computing Software engineering Computer programming
504	ISSUE 38 \| OCTOBER[removed]INSIDE Taking car smarts to Detroit National Map Add to Reading List Source URL: c.ymcdn.com Language: English - Date: 2014-10-08 18:35:57 Academia L4 microkernel family Red Lizard Software University of New South Wales Formal verification University of Melbourne Research Applied mathematics Open Kernel Labs Association of Commonwealth Universities NICTA Gernot Heiser
505	ISSUE 35 \| DECEMBER[removed]INSIDE CommunicAsia eGov Cluster showcase Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:54 Higher education Gernot Heiser Education L4 microkernel family Griffith University University of New South Wales University of Sydney University of Melbourne Formal verification Association of Commonwealth Universities NICTA Academia
506	CASE STUDY In response to an alarming number of complaints, the FDA has announced more stringent Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2015-03-05 16:41:49 Medical equipment Software testing Pharmaceutical industry Validity Formal methods Medical device Food and Drug Administration Validation Verification and validation Medicine Technology Science
507	Address Verification, Correction and ZIP+4 API User ’ sGui de The Software Company, Inc. Add to Reading List Source URL: www.softwarecompany.com Language: English - Date: 2015-01-12 19:13:10 Formal languages Data types Primitive types Cross-platform software JavaScript United States Postal Service String ZIP code Constructor Software engineering Computing Computer programming
508	BRICS Basic Research in Computer Science MONA Version 1.4 User Manual Nils Klarlund, [removed] Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:00:12 Models of computation Computer science Model checking Finite-state machine Deterministic finite automaton Formal language Tree automaton Formal verification Second-order logic Automata theory Theoretical computer science Applied mathematics
509	Academy of Motion Picture Award Chris Cooper Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:55 NICTA Gernot Heiser Dante L4 microkernel family International Conference on Computer Vision Future Internet Information and communication technologies in education Armadillo Formal verification Software Science Computing
510	Research and Regions Workshop, Friday 15 June[removed]Verification: Priority Discussion Points Beth Ebert and Grahame Reader Document Goals To describe the current status of the verification development work Add to Reading List Source URL: www.cawcr.gov.au Language: English - Date: 2012-06-13 07:35:04 Software quality Systems engineering Verification and validation Evaluation Science Validation Technology Pharmaceutical industry Validity Formal methods

UPDATE